json encoding does not encode unions correctly

The Json encoding implemented in Java does not encode unions as intended. In particular:

• branches are labeled with their Java type enum name (all caps) rather than their Json type name (lowercase)
• branches for named types (records, enums, fixed) are labeled with the type rather than the name
• nulls are labelled – a null value for a union should be untagged